Formalization of Integral Linear Space
نویسندگان
چکیده
منابع مشابه
Formalization of Integral Linear Space1
(1) Let X be a real linear space and R1, R2 be finite sequences of elements of X. If lenR1 = lenR2, then ∑ (R1 +R2) = ∑ R1 + ∑ R2. (2) Let X be a real linear space and R1, R2, R3 be finite sequences of elements of X. If lenR1 = lenR2 and R3 = R1−R2, then ∑ R3 = ∑ R1− ∑ R2. (3) Let X be a real linear space, R1, R2 be finite sequences of elements of X, and a be an element of R. If R2 = aR1, then ...
متن کاملThe solving linear one-dimemsional Volterra integral equations of the second kind in reproducing kernel space
In this paper, to solve a linear one-dimensional Volterra integral equation of the second kind. For this purpose using the equation form, we have defined a linear transformation and by using it's conjugate and reproducing kernel functions, we obtain a basis for the functions space.Then we obtain the solution of integral equation in terms of the basis functions. The examples presented in this ...
متن کاملCapacities-Centered Integral Software Process Formalization
In this paper, we formalize an integral sofnvare process model which is applied to the construction of conventional systems (CS) and knowledge-based systems (KBS), centered in the capacities. The Capacities Centered Integral Software Process Model (CCISPM) is formalized through an object oriented approach. Aiming to automate the CCISPM, the formalization of the process dynamic aspects is begun....
متن کاملGRADUAL NORMED LINEAR SPACE
In this paper, the gradual real numbers are considered and the notion of the gradual normed linear space is given. Also some topological properties of such spaces are studied, and it is shown that the gradual normed linear space is a locally convex space, in classical sense. So the results in locally convex spaces can be translated in gradual normed linear spaces. Finally, we give an examp...
متن کاملOn the Formalization of Linear Operators
In this paper, we report the progress of our work on the development of a library on linear operators within the Mizar project. The definitions of concepts including normed linear spaces of bounded linear operators and completeness of such spaces are contained in this library.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formalized Mathematics
سال: 2011
ISSN: 1898-9934,1426-2630
DOI: 10.2478/v10037-011-0010-9